union{-}codes($S$;${\it dec\_S}$;${\it codes}_{1}$;${\it codes}_{2}$)($j$,$i$,$e$,${\it st}$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$branch($S$($j$,$i$,$e$);${\it dec\_S}$($j$,$i$,$e$);$p$.${\it codes}_{1}$($j$,$i$,$e$,${\it st}$);${\it codes}_{2}$($j$,$i$,$e$,${\it st}$))